sympy assumptions module